satistiability problem
[计] 可满足性问题
热门查询
- pistachio n. 开心果；阿月浑子果实；阿月浑子树；淡草绿色
- Athey “阿赛”平板拖车
- Pavia n. 帕维亚（意大利西北部村镇, 濒提契诺河）
- thousandfold adj. 千倍的 adv. 千倍地
- stockpot n. 汤锅；杂烩锅
- conservator n. 保护者；管理员
- cutthroat adj. 残酷的；杀人的；剧烈的 n. 谋杀者；凶手
- jumbled adj. 乱七八糟的 vt. 搞乱（jumble的过去分词）
- indebtedness n. 债务；受恩惠
- ague n. 疟疾；发冷；寒颤 n. (Ague)人名；(英)埃格
- Grundy n. 拘泥礼节的人
- breathing space n. 短暂休息；喘息时间 [网络] 呼吸空间；喘息空间；呼吸的空间
- micron n. 微米（等于百万分之一米）
- windage n. 偏差（子弹因风而生的）；[电] 游隙（炮筒内径和炮弹间的空隙）；[军] 风力影响，风力修正量
- Platz [人名] 普拉茨
- transect n. 横断面 vt. 横断；横切
- majore n. (Majore)人名；(意)马约雷；(葡)马若雷
- lethally adv. 致命地；危害地；极具威胁地
- confit n. 油封肉；焖肉
- slyness n. 狡猾；诡秘
考试词汇表
- orbital bristles
- orbital capacity
- orbital cavities
- orbital currents
- orbital dynamics
- orbital electron
- orbital elements
- orbital eminence
- orbital equation
- orbital exponent
- orbital fracture
- orbital frequecy
- orbital function
- orbital ganglion
- orbital geometry
- orbital latitude
- orbital location
- orbital maneuver
- orbital momentum
- orbital motorway
